A SURVEY OF PARAMETRIC MODEL VERIFICATION METHODS
نویسندگان
چکیده
منابع مشابه
A Parametric Cathment Erosion Model
The structural framework for a parametric catchment erosion model is proposed. A parameter optimization technique that provides a rational basis for the calibration of the model is developed. The adequacy of the model in representing a natural catchment is investigated.
متن کاملMethods of Economics: A Survey of Matters and Methods
In spite of sonic pessimistic attitudes towards methodology of economics, it has succeeded as a central theme in numerous books, refereed journals, international conferences and symposiums whose volume is increasing at an unprecedented rate. The proliferation of methodological literature also is accompanied by a proliferation of issues that concern: the goals of economics, realism of economics,...
متن کاملA Parametric Communication Model for the Verification of BPEL4WS Compositions
In this paper we describe an approach for the verification of Web service compositions defined by a set of BPEL4WS processes. The key aspect of such a verification task is the model adopted for representing the communications among the services participating to the composition. Indeed, these communications are asynchronous and buffered in the existing execution frameworks, while most verificati...
متن کاملA Survey of Projection-Based Model Reduction Methods for Parametric Dynamical Systems
Numerical simulation of large-scale dynamical systems plays a fundamental role in studying a wide range of complex physical phenomena; however, the inherent large-scale nature of the models often leads to unmanageable demands on computational resources. Model reduction aims to reduce this computational burden by generating reduced models that are faster and cheaper to simulate, yet accurately r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Collection of Scientific Publications NUS
سال: 2020
ISSN: 2311-3405
DOI: 10.15589/znp2020.1(479).10